$M$ sends on link $l$
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$deq{-}member(IdLnkDeq;$l$;map($\lambda$$p$.2of($p$);1of(1of(2of(2of(2of(2of(2of($M$)))))))))